#ifndef __SCHED_H_
#define __SCHED_H_

void schedule();

void uninterruptible_yield();

#define wait_if(cond) while ((cond)) {uninterruptible_yield();}

#endif // __SCHED_H_
